$\forall$${\it the\_w}$:World. FairFifo $\Rightarrow$ w{-}atom{-}constraint(${\it the\_w}$)